|
| |
|
|
FORMAL MODEL OF DECISION MAKING PROCESS FOR HIGH-FREQUENCY DATA PROCESSING
Zámečníková, Eva ; Rábová, Ivana (oponent) ; Šaloun, Petr (oponent) ; Kreslíková, Jitka (vedoucí práce)
This thesis deals with the issue of the processing of high-frequency time series. It primarily focuses on the design of algorithms and methods for support of predicting these data. The result of this work is a model supporting the decision-making process implemented into a complex platform. The model designs the method of formalization of business rules which describes the decision-making process. The designed model must meet the conditions of the robustness, scalability, real-time processing and econometrics requirements. The thesis summarizes the current knowledge and methodologies for the processing of high-frequency fnancial data which can be found on the stock exchange. The first part of the work describes the basic principles and approaches currently used in the processing of high-frequency data. The next part deals with the description of an appropriate complex event platform and is subsequently devoted to prediction and data processing itself, using the chosen platform. Emphasis is on selecting and editing a set of rules that controls the decision-making process. The newly designed method describes the set of rules by using matrix grammar. This grammar belongs to the grammars with regulated rewriting and thus it may control the data processing by the defning of the matrices.
|
|
|
Formalizace relace odvoditelnosti pro výrokové fuzzy logiky
Révay, Petr ; Běhounek, Libor (vedoucí práce) ; Urban, Josef (oponent)
Tato bakalářská práce předkládá formalizaci relace odvoditelnosti fuzzy logiky BL v prostředí matematického asistenta Isabelle/HOL a počítačově ověřené důkazy některých teorémů a meta-teorémů této logiky. Zároveň poskytuje popis procesu formalizace a použité prostředky Isabelle/HOL předvádí na jednodušších příkladech. Samostatná kapitola je pak věnována úvodu do logiky BL. Po nastudování dokumentace a volbě vhodných nástrojů Isabelle/HOL byla implementována formalizace, díky níž lze v programu ověřovat důkazy jak v axiomatizaci BL, tak i důkazy vlastností relace dokazatelnosti. Z těch byl formalizován především důkaz věty o lokální dedukci. Dále byly formalizovány důkazy řady teorémů BL, a to včetně odvození redundantních axiomů BL2 a BL3. Přínosem této práce je prozkoumání možností verifikátoru Isabelle/HOL z hlediska použití pro fuzzy logiku BL. Vzhledem k uvedeným poznatkům je možné práci použít jako základ širšího projektu formalizace fuzzy logik, které z logiky BL vycházejí. Powered by TCPDF (www.tcpdf.org)
|
|
|
FORMAL MODEL OF DECISION MAKING PROCESS FOR HIGH-FREQUENCY DATA PROCESSING
Zámečníková, Eva ; Rábová, Ivana (oponent) ; Šaloun, Petr (oponent) ; Kreslíková, Jitka (vedoucí práce)
This thesis deals with the issue of the processing of high-frequency time series. It primarily focuses on the design of algorithms and methods for support of predicting these data. The result of this work is a model supporting the decision-making process implemented into a complex platform. The model designs the method of formalization of business rules which describes the decision-making process. The designed model must meet the conditions of the robustness, scalability, real-time processing and econometrics requirements. The thesis summarizes the current knowledge and methodologies for the processing of high-frequency fnancial data which can be found on the stock exchange. The first part of the work describes the basic principles and approaches currently used in the processing of high-frequency data. The next part deals with the description of an appropriate complex event platform and is subsequently devoted to prediction and data processing itself, using the chosen platform. Emphasis is on selecting and editing a set of rules that controls the decision-making process. The newly designed method describes the set of rules by using matrix grammar. This grammar belongs to the grammars with regulated rewriting and thus it may control the data processing by the defning of the matrices.
|
|
|
Formalizace relace odvoditelnosti pro výrokové fuzzy logiky
Révay, Petr ; Běhounek, Libor (vedoucí práce) ; Urban, Josef (oponent)
Tato bakalářská práce předkládá formalizaci relace odvoditelnosti fuzzy logiky BL v prostředí matematického asistenta Isabelle/HOL a počítačově ověřené důkazy některých teorémů a meta-teorémů této logiky. Zároveň poskytuje popis procesu formalizace a použité prostředky Isabelle/HOL předvádí na jednodušších příkladech. Samostatná kapitola je pak věnována úvodu do logiky BL. Po nastudování dokumentace a volbě vhodných nástrojů Isabelle/HOL byla implementována formalizace, díky níž lze v programu ověřovat důkazy jak v axiomatizaci BL, tak i důkazy vlastností relace dokazatelnosti. Z těch byl formalizován především důkaz věty o lokální dedukci. Dále byly formalizovány důkazy řady teorémů BL, a to včetně odvození redundantních axiomů BL2 a BL3. Přínosem této práce je prozkoumání možností verifikátoru Isabelle/HOL z hlediska použití pro fuzzy logiku BL. Vzhledem k uvedeným poznatkům je možné práci použít jako základ širšího projektu formalizace fuzzy logik, které z logiky BL vycházejí. Powered by TCPDF (www.tcpdf.org)
|
|
|
Organizační změna neziskové sportovní organizace (Případová studie jezdeckého oddílu)
Svatá, Kristýna ; Pospíšilová, Tereza (vedoucí práce) ; Navrátil, Jiří (oponent)
Sportovní organizace tvoří v České republice - a nejen zde - výraznou část neziskového sektoru, přesto unikají pozornosti akademického světa. Přitom právě ony nabízejí zajímavy pohled na organizační změnu. Celkově můžeme ve společnosti pozorovat mnoho forem fungujících neziskových organizací, které se liší mírou profesionality, mírou formalizace i hodnotami, které zastávají. Můžeme se ve výzkumech zaměřovat na udržitelnost jednotlivých typů, zjišťovat, zda posun k profesionálnějším formám je žádoucí apod. Předkládaná případová studie odhaluje problémy lokální sportovní neziskové organizace, která prochází velmi pozvolnou změnou. Tato změna souvisí s vývojem organizace a s postupnou změnou hodnot a cílů, kterým se nyní musí přizpůsobit i její struktura. V práci jsou mj. formulována doporučení této organizaci, která však mohou být využitelná i jinými subjekty.
|
|
| |
|
| |
host ::
RSS.